$\forall$$a$, $b$, $n$:$\mathbb{Z}$. \{($a$ = $b$) $\Leftarrow\!\Rightarrow$ ($a$+$n$ = $b$+$n$)\}